Shen Programming Language

Shen is a functional programming language that offers optional static type checking based on Sequent

Shen is a functional programming language that offers optional static type checking based on Sequent